Ed Lucas

Results: 61



#Item
41Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lucas Dixon1 and Ross Duncan2 1

Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lucas Dixon1 and Ross Duncan2 1

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2008-05-04 13:02:00
    42Social Rationalism; Scotland, my utopia. Lucas Dixon, KenYerSel original draft: 25 Oct 2007, updated 2 Jan 2009 There is another way our world can be. It is up to us, together, to walk towar

    Social Rationalism; Scotland, my utopia. Lucas Dixon, KenYerSel original draft: 25 Oct 2007, updated 2 Jan 2009 There is another way our world can be. It is up to us, together, to walk towar

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2009-01-02 11:26:53
      43Graphical Reasoning in Compact Closed Categories for Quantum Computation Lucas Dixon∗ University of Edinburgh Ross Duncan†

      Graphical Reasoning in Compact Closed Categories for Quantum Computation Lucas Dixon∗ University of Edinburgh Ross Duncan†

      Add to Reading List

      Source URL: dream.inf.ed.ac.uk

      Language: English - Date: 2009-03-11 14:32:27
        44IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

        IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

        Add to Reading List

        Source URL: dream.inf.ed.ac.uk

        Language: English - Date: 2008-12-03 05:18:38
          45Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona

          Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona

          Add to Reading List

          Source URL: dream.inf.ed.ac.uk

          Language: English - Date: 2010-04-09 17:09:07
          46IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?

          IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?

          Add to Reading List

          Source URL: dream.inf.ed.ac.uk

          Language: English - Date: 2010-03-10 05:42:39
          47Open Graphs and Monoidal Theories Lucas Dixon University of Edinburgh Aleks Kissinger

          Open Graphs and Monoidal Theories Lucas Dixon University of Edinburgh Aleks Kissinger

          Add to Reading List

          Source URL: dream.inf.ed.ac.uk

          Language: English - Date: 2010-11-17 05:56:04
            48Open Graphs and Computational Reasoning Lucas Dixon Ross Duncan, Aleks Kissinger University of Edinburgh

            Open Graphs and Computational Reasoning Lucas Dixon Ross Duncan, Aleks Kissinger University of Edinburgh

            Add to Reading List

            Source URL: dream.inf.ed.ac.uk

            Language: English - Date: 2010-07-22 02:32:00
              49A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ??

              A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ??

              Add to Reading List

              Source URL: dream.inf.ed.ac.uk

              Language: English - Date: 2011-02-28 21:07:11
                50Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`

                Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`

                Add to Reading List

                Source URL: dream.inf.ed.ac.uk

                Language: English - Date: 2010-10-06 07:21:32